Go back to the Contents page.


Press Show to reveal the code chunks.


# Create a clipboard button on the rendered HTML page
source(here::here("clipboard.R")); clipboard
# Set seed for reproducibility
set.seed(1982) 
# Set global options for all code chunks
knitr::opts_chunk$set(
  # Disable messages printed by R code chunks
  message = FALSE,    
  # Disable warnings printed by R code chunks
  warning = FALSE,    
  # Show R code within code chunks in output
  echo = TRUE,        
  # Include both R code and its results in output
  include = TRUE,     
  # Evaluate R code chunks
  eval = TRUE,       
  # Enable caching of R code chunks for faster rendering
  cache = FALSE,      
  # Align figures in the center of the output
  fig.align = "center",
  # Enable retina display for high-resolution figures
  retina = 2,
  # Show errors in the output instead of stopping rendering
  error = TRUE,
  # Do not collapse code and output into a single block
  collapse = FALSE
)
# Start the figure counter
fig_count <- 0
# Define the captioner function
captioner <- function(caption) {
  fig_count <<- fig_count + 1
  paste0("Figure ", fig_count, ": ", caption)
}
library(tidyr)
library(dplyr)
library(plotly)
library(MetricGraph)

gets.graph.basis <- function(h, cont = TRUE){
  #F
  edge1 <- rbind(c(0,0), c(0,2))
  edge2 <- rbind(c(0,2), c(0,4))
  edge3 <- rbind(c(0,2), c(1,2))
  edge4 <- rbind(c(0,4), c(2,4))
  #U
  edge5 <- rbind(c(2,4), c(2,1))
  thetau <- seq(pi, 2*pi, length.out = 100)
  edge6 <- cbind(3+1*cos(thetau), 1+1*sin(thetau))
  edge7 <- rbind(c(4,1), c(4,4))
  #N
  edge8 <- rbind(c(4,1), c(4,0))
  edge9 <- rbind(c(4,4), c(6,0))
  edge10 <- rbind(c(6,0), c(6,4))
  #C
  thetac1 <- seq(pi, pi/2, length.out = 100)
  edge11 <- cbind(8+2*cos(thetac1), 2+2*sin(thetac1))
  thetac2 <- seq(pi, 3*pi/2, length.out = 100)
  edge12 <- cbind(8+2*cos(thetac2), 2+2*sin(thetac2))
  #T
  edge13 <- rbind(c(8,4), c(10,4))
  edge14 <- rbind(c(9,4), c(9,0))
  #I
  edge15 <- rbind(c(10,4), c(12,4))
  edge16 <- rbind(c(10,0), c(12,0))
  edge17 <- rbind(c(11,0), c(11,4))
  #O
  thetao1 <- seq(pi, 2*pi, length.out = 100)
  edge18 <- cbind(13+1*cos(thetao1), 1+1*sin(thetao1))
  thetao2 <- seq(0, pi, length.out = 100)
  edge19 <- cbind(13+1*cos(thetao2), 3+1*sin(thetao2))
  edge20 <- rbind(c(12,3), c(12,1))
  edge21 <- rbind(c(14,1), c(14,4))
  #N
  edge22 <- rbind(c(14,4), c(16,0))
  edge23 <- rbind(c(16,0), c(16,4))
  edge56 <- rbind(c(14,0), c(14,1))
  #S
  edge24 <- rbind(c(16,0), c(17,0))
  tethas1 <- seq(-pi/2, pi/2, length.out = 100)
  edge25 <- cbind(17+1*cos(tethas1), 1+1*sin(tethas1))
  thetas2 <- seq(3*pi/2, pi/2, length.out = 100)
  edge26 <- cbind(17+1*cos(thetas2), 3+1*sin(thetas2))
  edge27 <- rbind(c(17,4), c(18,4))
  #H
  edge28 <- rbind(c(0,4), c(0,6))
  edge29 <- rbind(c(0,6), c(0,8))
  edge30 <- rbind(c(0,6), c(2,6))
  edge31 <- rbind(c(2,4), c(2,8))
  #A
  edge32 <- rbind(c(2,4), c(3,8))
  edge33 <- rbind(c(3,8), c(4,4))
  edge34 <- rbind(c(2.5,6), c(3.5,6))
  #T
  edge35 <- rbind(c(3,8), c(6,8))
  edge36 <- rbind(c(5,8), c(5,4))
  #B
  edge37 <- rbind(c(8,8), c(8,4))
  thetab1 <- seq(-pi/2, pi/2, length.out = 100)
  edge38 <- cbind(9+1*cos(thetab1), 5+1*sin(thetab1))
  edge39 <- rbind(c(8,6), c(9,6))
  edge40 <- rbind(c(9,8), c(8,8))
  thetab2 <- seq(-pi/2, pi/2, length.out = 100)
  edge41 <- cbind(9+1*cos(thetab2), 7+1*sin(thetab2))
  #A
  edge42 <- rbind(c(10,4), c(11,8))
  edge43 <- rbind(c(11,8), c(12,4))
  edge44 <- rbind(c(10.5,6), c(11.5,6))
  #S
  
  #I
  edge45 <- rbind(c(14,4), c(16,4))
  edge46 <- rbind(c(15,4), c(15,8))
  edge47 <- rbind(c(14,8), c(16,8))
  #S
  edge48 <- rbind(c(16,4), c(17,4))
  edge49 <- cbind(17+1*cos(tethas1), 5+1*sin(tethas1))
  edge50 <- cbind(17+1*cos(thetas2), 7+1*sin(thetas2))
  edge51 <- rbind(c(17,8), c(18,8))
  #S
  edge52 <- rbind(c(13,8), c(14,8))
  edge53 <-cbind(13+1*cos(thetas2), 7+1*sin(thetas2))
  edge54 <- cbind(13+1*cos(tethas1), 5+1*sin(tethas1))
  edge55 <- rbind(c(12,4), c(13,4))
  
  edges <- list(edge1, edge2, edge3, edge4, edge5, edge6, edge7,
                edge8, edge9, edge10, edge11, edge12, edge13, edge14,
                edge15, edge16, edge17, edge18, edge19, edge20, edge21,
                edge22, edge23, edge24, edge25, edge26, edge27,
                edge28, edge29, edge30, edge31, edge32, edge33, edge34,
                edge35, edge36, edge37, edge38, edge39, edge40, edge41,
                edge42, edge43, edge44, edge45, edge46, edge47,
                edge48, edge49, edge50, edge51, edge52, edge53, edge54, edge55, edge56)
  graph <- metric_graph$new(edges = edges, perform_merges = TRUE)
  graph$prune_vertices()
  graph$build_mesh(h = h, continuous = cont)
  return(graph)
}

add_group_boundaries <- function(mat) {
  # Unique group identifiers in the first column
  groups <- unique(mat[, 1])
  
  # Initialize list to store results
  result_list <- vector("list", length(groups))
  
  for (i in seq_along(groups)) {
    grp <- groups[i]
    group_rows <- mat[mat[, 1] == grp, , drop = FALSE]
    
    # Add boundary rows
    augmented <- rbind(
      c(grp, 0),
      group_rows,
      c(grp, 1)
    )
    result_list[[i]] <- augmented
  }
  
  # Combine all groups
  result <- do.call(rbind, result_list)
  rownames(result) <- NULL
  return(result)
}

# Function to insert NA row between groups
insert_na_between_groups <- function(mat, group_vec) {
  # Split the matrix by group
  mat_split <- split(as.data.frame(mat), group_vec)
  
  # Add NA rows after each group
  with_na <- lapply(mat_split, function(x) rbind(as.matrix(x), rep(NA, ncol(mat))))
  
  # Combine everything into one matrix (removing the last NA if not needed)
  mat <- do.call(rbind, with_na)
  return(mat) #mat[-nrow(mat), ]
}

fill_between_NA <- function(vec) {
  
  # Find the indices of the NA values
  na_indices <- which(is.na(vec))
  
  for (i in seq_along(na_indices)[-length(na_indices)]) {
    start <- na_indices[i]
    end <- na_indices[i + 1]
    
    # Work on the elements between two NA values
    if (end - start > 1) {
      segment <- vec[(start + 1):(end - 1)]
      if (all(segment == 0, na.rm = TRUE)) {
        vec[(start + 1):(end - 1)] <- NA
      }
    }
  }
  return(vec)
}

keep_nonzeros_and_border_zeros <- function(vec) {
  n <- length(vec)
  keep <- rep(FALSE, n)
  
  # Identify nonzero values (ignoring NAs)
  is_nonzero <- !is.na(vec) & vec != 0
  
  for (i in which(is_nonzero)) {
    keep[i] <- TRUE
    if (i > 1 && !is.na(vec[i - 1]) && vec[i - 1] == 0) keep[i - 1] <- TRUE
    if (i < n && !is.na(vec[i + 1]) && vec[i + 1] == 0) keep[i + 1] <- TRUE
  }
  
  # Replace zeros that are not marked for keeping with NA
  vec[!is.na(vec) & vec == 0 & !keep] <- NA
  return(vec)
}

graph <- gets.graph.basis(h = 1/1, cont = TRUE)
graph_cont <- gets.graph.basis(h = 1/50, cont = TRUE)

# discontinuous mesh
V <- graph_cont$mesh$V
VtE <- graph_cont$mesh$VtE


new_VtE <- add_group_boundaries(VtE[(graph$nV+1):nrow(VtE),])
new_V <- graph_cont$coordinates(PtE = new_VtE, normalized = TRUE)
V_with_NA <- rbind(c(NA,NA), insert_na_between_groups(new_V, new_VtE[,1]))
x <- V_with_NA[,1]
y <- V_with_NA[,2]


A <- as.matrix(graph$fem_basis(new_VtE))
A_with_NA <- rbind(rep(NA, ncol(A)), insert_na_between_groups(A, new_VtE[,1]))
A_with_NA_cleaned <- apply(A_with_NA, 2, fill_between_NA)
A_with_NA_zeroed <- apply(A_with_NA, 2, keep_nonzeros_and_border_zeros)

x_range <- range(x, na.rm = TRUE)
y_range <- range(y, na.rm = TRUE)
z_range <- c(0,1)

# Get all z values for vertical lines
z_vals <- apply(A_with_NA_zeroed, 1, max, na.rm = TRUE)
# Subsample every 5th index
idx <- seq(1, nrow(A_with_NA_zeroed), by = 20)

# Subsample x, y, and z for gray lines
Z_red <- unlist(lapply(z_vals[idx], function(zj) c(0, zj, NA)))
X_red <- rep(x[idx], each = 3)
Y_red <- rep(y[idx], each = 3)

# Start plot
p <- plot_ly() %>% 
  add_trace(x = rep(x, times = graph$nV), 
            y = rep(y, times = graph$nV), 
            z = as.vector(A_with_NA_zeroed[, 1:graph$nV]), 
            type = "scatter3d",
            mode = "lines", 
            showlegend = FALSE, 
            line = list(color = "red", width = 2)) %>%
  add_trace(x = X_red, y = Y_red, z = Z_red,
            type = "scatter3d", mode = "lines",
            line = list(color = "gray", width = 0.5),
            showlegend = FALSE) %>%
  add_trace(x = rep(x, times = ncol(A_with_NA_zeroed) - graph$nV), 
            y = rep(y, times = ncol(A_with_NA_zeroed) - graph$nV), 
            z = as.vector(A_with_NA_zeroed[, (graph$nV+1):ncol(A_with_NA_zeroed)]), 
            type = "scatter3d",
            mode = "lines", 
            showlegend = FALSE, 
            line = list(color = "blue", width = 2)) %>%
  add_trace(x = x, 
            y = y, 
            z = x*0, 
            type = "scatter3d",
            mode = "lines", 
            showlegend = FALSE, 
            line = list(color = "black", width = 4)) %>% 
  add_trace(x = rep(x, times = graph$nV), 
            y = rep(y, times = graph$nV), 
            z = as.vector(A_with_NA_zeroed[, 1:graph$nV])*0, 
            type = "scatter3d",
            mode = "lines", 
            showlegend = FALSE, 
            line = list(color = "green", width = 4)) %>%
  layout(scene = list(
    xaxis = list(title = "x", range = x_range),
    yaxis = list(title = "y", range = y_range),
    zaxis = list(title = "z", range = z_range),
    aspectratio = list(x = 2.4, y = 1.2, z = 0.06),
    camera = list(eye = list(x = -2, y = -3, z = 1.5), 
                  center = list(x = 0, y = 0, z = 0))))

1 Illustration

Go back to the Contents page.

Go back to the Preliminaries page.

p

Figure 1: Illustration of the basis function system \(\{\psi^i_h\}_{i=1}^{N_h}\) on the hat-basis-functions graph (in black). Standard hat functions associated with internal edge nodes are shown in blue, while special vertex-centered functions are highlighted in red.

1.1 References

grateful::cite_packages(output = "paragraph", out.dir = ".")

We used R version 4.5.0 (R Core Team 2025) and the following R packages: gsignal v. 0.3.7 (Van Boxtel, G.J.M., et al. 2021), here v. 1.0.1 (Müller 2020), htmltools v. 0.5.8.1 (Cheng et al. 2024), knitr v. 1.50 (Xie 2014, 2015, 2025), Matrix v. 1.7.3 (Bates, Maechler, and Jagan 2025), MetricGraph v. 1.5.0.9000 (Bolin, Simas, and Wallin 2023a, 2023b, 2024, 2025; Bolin et al. 2024), patchwork v. 1.3.1 (Pedersen 2025), plotly v. 4.10.4 (Sievert 2020), RColorBrewer v. 1.1.3 (Neuwirth 2022), renv v. 1.0.7 (Ushey and Wickham 2024), reshape2 v. 1.4.4 (Wickham 2007), rmarkdown v. 2.29 (Xie, Allaire, and Grolemund 2018; Xie, Dervieux, and Riederer 2020; Allaire et al. 2024), rSPDE v. 2.5.1.9000 (Bolin and Kirchner 2020; Bolin and Simas 2023; Bolin, Simas, and Xiong 2024), scales v. 1.4.0 (Wickham, Pedersen, and Seidel 2025), tidyverse v. 2.0.0 (Wickham et al. 2019), viridisLite v. 0.4.2 (Garnier et al. 2023), xaringanExtra v. 0.8.0 (Aden-Buie and Warkentin 2024).

Aden-Buie, Garrick, and Matthew T. Warkentin. 2024. xaringanExtra: Extras and Extensions for xaringan Slides. https://doi.org/10.32614/CRAN.package.xaringanExtra.
Allaire, JJ, Yihui Xie, Christophe Dervieux, Jonathan McPherson, Javier Luraschi, Kevin Ushey, Aron Atkins, et al. 2024. rmarkdown: Dynamic Documents for r. https://github.com/rstudio/rmarkdown.
Bates, Douglas, Martin Maechler, and Mikael Jagan. 2025. Matrix: Sparse and Dense Matrix Classes and Methods. https://doi.org/10.32614/CRAN.package.Matrix.
Bolin, David, and Kristin Kirchner. 2020. “The Rational SPDE Approach for Gaussian Random Fields with General Smoothness.” Journal of Computational and Graphical Statistics 29 (2): 274–85. https://doi.org/10.1080/10618600.2019.1665537.
Bolin, David, Mihály Kovács, Vivek Kumar, and Alexandre B. Simas. 2024. “Regularity and Numerical Approximation of Fractional Elliptic Differential Equations on Compact Metric Graphs.” Mathematics of Computation 93 (349): 2439–72. https://doi.org/10.1090/mcom/3929.
Bolin, David, and Alexandre B. Simas. 2023. rSPDE: Rational Approximations of Fractional Stochastic Partial Differential Equations. https://CRAN.R-project.org/package=rSPDE.
Bolin, David, Alexandre B. Simas, and Jonas Wallin. 2023a. MetricGraph: Random Fields on Metric Graphs. https://CRAN.R-project.org/package=MetricGraph.
———. 2023b. “Statistical Inference for Gaussian Whittle-Matérn Fields on Metric Graphs.” arXiv Preprint arXiv:2304.10372. https://doi.org/10.48550/arXiv.2304.10372.
———. 2024. “Gaussian Whittle-Matérn Fields on Metric Graphs.” Bernoulli 30 (2): 1611–39. https://doi.org/10.3150/23-BEJ1647.
———. 2025. “Markov Properties of Gaussian Random Fields on Compact Metric Graphs.” Bernoulli. https://doi.org/10.48550/arXiv.2304.03190.
Bolin, David, Alexandre B. Simas, and Zhen Xiong. 2024. “Covariance-Based Rational Approximations of Fractional SPDEs for Computationally Efficient Bayesian Inference.” Journal of Computational and Graphical Statistics 33 (1): 64–74. https://doi.org/10.1080/10618600.2023.2231051.
Cheng, Joe, Carson Sievert, Barret Schloerke, Winston Chang, Yihui Xie, and Jeff Allen. 2024. htmltools: Tools for HTML. https://doi.org/10.32614/CRAN.package.htmltools.
Garnier, Simon, Ross, Noam, Rudis, Robert, Camargo, et al. 2023. viridis(Lite) - Colorblind-Friendly Color Maps for r. https://doi.org/10.5281/zenodo.4678327.
Müller, Kirill. 2020. here: A Simpler Way to Find Your Files. https://doi.org/10.32614/CRAN.package.here.
Neuwirth, Erich. 2022. RColorBrewer: ColorBrewer Palettes. https://doi.org/10.32614/CRAN.package.RColorBrewer.
Pedersen, Thomas Lin. 2025. patchwork: The Composer of Plots. https://doi.org/10.32614/CRAN.package.patchwork.
R Core Team. 2025. R: A Language and Environment for Statistical Computing. Vienna, Austria: R Foundation for Statistical Computing. https://www.R-project.org/.
Sievert, Carson. 2020. Interactive Web-Based Data Visualization with r, Plotly, and Shiny. Chapman; Hall/CRC. https://plotly-r.com.
Ushey, Kevin, and Hadley Wickham. 2024. renv: Project Environments. https://doi.org/10.32614/CRAN.package.renv.
Van Boxtel, G.J.M., et al. 2021. gsignal: Signal Processing. https://github.com/gjmvanboxtel/gsignal.
Wickham, Hadley. 2007. “Reshaping Data with the reshape Package.” Journal of Statistical Software 21 (12): 1–20. http://www.jstatsoft.org/v21/i12/.
Wickham, Hadley, Mara Averick, Jennifer Bryan, Winston Chang, Lucy D’Agostino McGowan, Romain François, Garrett Grolemund, et al. 2019. “Welcome to the tidyverse.” Journal of Open Source Software 4 (43): 1686. https://doi.org/10.21105/joss.01686.
Wickham, Hadley, Thomas Lin Pedersen, and Dana Seidel. 2025. scales: Scale Functions for Visualization. https://doi.org/10.32614/CRAN.package.scales.
Xie, Yihui. 2014. knitr: A Comprehensive Tool for Reproducible Research in R.” In Implementing Reproducible Computational Research, edited by Victoria Stodden, Friedrich Leisch, and Roger D. Peng. Chapman; Hall/CRC.
———. 2015. Dynamic Documents with R and Knitr. 2nd ed. Boca Raton, Florida: Chapman; Hall/CRC. https://yihui.org/knitr/.
———. 2025. knitr: A General-Purpose Package for Dynamic Report Generation in R. https://yihui.org/knitr/.
Xie, Yihui, J. J. Allaire, and Garrett Grolemund. 2018. R Markdown: The Definitive Guide. Boca Raton, Florida: Chapman; Hall/CRC. https://bookdown.org/yihui/rmarkdown.
Xie, Yihui, Christophe Dervieux, and Emily Riederer. 2020. R Markdown Cookbook. Boca Raton, Florida: Chapman; Hall/CRC. https://bookdown.org/yihui/rmarkdown-cookbook.
LS0tCnRpdGxlOiAiQmFzaXMgZnVuY3Rpb25zIgpkYXRlOiAiTGFzdCBtb2RpZmllZDogYHIgZm9ybWF0KFN5cy50aW1lKCksICclZC0lbS0lWS4nKWAiCm91dHB1dDoKICBodG1sX2RvY3VtZW50OgogICAgbWF0aGpheDogImh0dHBzOi8vY2RuLmpzZGVsaXZyLm5ldC9ucG0vbWF0aGpheEAzL2VzNS90ZXgtbW1sLWNodG1sLmpzIgogICAgaGlnaGxpZ2h0OiBweWdtZW50cwogICAgdGhlbWU6IGZsYXRseQogICAgY29kZV9mb2xkaW5nOiBoaWRlICMgY2xhc3Muc291cmNlID0gImZvbGQtaGlkZSIgdG8gaGlkZSBjb2RlIGFuZCBhZGQgYSBidXR0b24gdG8gc2hvdyBpdAogICAgZGZfcHJpbnQ6IHBhZ2VkCiAgICB0b2M6IHRydWUKICAgIHRvY19mbG9hdDoKICAgICAgY29sbGFwc2VkOiB0cnVlCiAgICAgIHNtb290aF9zY3JvbGw6IHRydWUKICAgIG51bWJlcl9zZWN0aW9uczogdHJ1ZQogICAgZmlnX2NhcHRpb246IHRydWUKICAgIGNvZGVfZG93bmxvYWQ6IHRydWUKICAgIGNzczogdmlzdWFsLmNzcwphbHdheXNfYWxsb3dfaHRtbDogdHJ1ZQpiaWJsaW9ncmFwaHk6IAogIC0gcmVmZXJlbmNlcy5iaWIKICAtIGdyYXRlZnVsLXJlZnMuYmliCmhlYWRlci1pbmNsdWRlczoKICAtIFxuZXdjb21tYW5ke1xhcn17XG1hdGhiYntSfX0KICAtIFxuZXdjb21tYW5ke1xsbGF2fVsxXXtcbGVmdFx7IzFccmlnaHRcfX0KICAtIFxuZXdjb21tYW5ke1xwYXJlfVsxXXtcbGVmdCgjMVxyaWdodCl9CiAgLSBcbmV3Y29tbWFuZHtcTmNhbH17XG1hdGhjYWx7Tn19CiAgLSBcbmV3Y29tbWFuZHtcVmNhbH17XG1hdGhjYWx7Vn19CiAgLSBcbmV3Y29tbWFuZHtcRWNhbH17XG1hdGhjYWx7RX19CiAgLSBcbmV3Y29tbWFuZHtcV2NhbH17XG1hdGhjYWx7V319Ci0tLQoKR28gYmFjayB0byB0aGUgW0NvbnRlbnRzXShhYm91dC5odG1sKSBwYWdlLgoKPGRpdiBzdHlsZT0iY29sb3I6ICMyYzNlNTA7IHRleHQtYWxpZ246IHJpZ2h0OyI+CioqKioqKioqICAKPHN0cm9uZz5QcmVzcyBTaG93IHRvIHJldmVhbCB0aGUgY29kZSBjaHVua3MuPC9zdHJvbmc+ICAKCioqKioqKioqCjwvZGl2PgoKCmBgYHtyfQojIENyZWF0ZSBhIGNsaXBib2FyZCBidXR0b24gb24gdGhlIHJlbmRlcmVkIEhUTUwgcGFnZQpzb3VyY2UoaGVyZTo6aGVyZSgiY2xpcGJvYXJkLlIiKSk7IGNsaXBib2FyZAojIFNldCBzZWVkIGZvciByZXByb2R1Y2liaWxpdHkKc2V0LnNlZWQoMTk4MikgCiMgU2V0IGdsb2JhbCBvcHRpb25zIGZvciBhbGwgY29kZSBjaHVua3MKa25pdHI6Om9wdHNfY2h1bmskc2V0KAogICMgRGlzYWJsZSBtZXNzYWdlcyBwcmludGVkIGJ5IFIgY29kZSBjaHVua3MKICBtZXNzYWdlID0gRkFMU0UsICAgIAogICMgRGlzYWJsZSB3YXJuaW5ncyBwcmludGVkIGJ5IFIgY29kZSBjaHVua3MKICB3YXJuaW5nID0gRkFMU0UsICAgIAogICMgU2hvdyBSIGNvZGUgd2l0aGluIGNvZGUgY2h1bmtzIGluIG91dHB1dAogIGVjaG8gPSBUUlVFLCAgICAgICAgCiAgIyBJbmNsdWRlIGJvdGggUiBjb2RlIGFuZCBpdHMgcmVzdWx0cyBpbiBvdXRwdXQKICBpbmNsdWRlID0gVFJVRSwgICAgIAogICMgRXZhbHVhdGUgUiBjb2RlIGNodW5rcwogIGV2YWwgPSBUUlVFLCAgICAgICAKICAjIEVuYWJsZSBjYWNoaW5nIG9mIFIgY29kZSBjaHVua3MgZm9yIGZhc3RlciByZW5kZXJpbmcKICBjYWNoZSA9IEZBTFNFLCAgICAgIAogICMgQWxpZ24gZmlndXJlcyBpbiB0aGUgY2VudGVyIG9mIHRoZSBvdXRwdXQKICBmaWcuYWxpZ24gPSAiY2VudGVyIiwKICAjIEVuYWJsZSByZXRpbmEgZGlzcGxheSBmb3IgaGlnaC1yZXNvbHV0aW9uIGZpZ3VyZXMKICByZXRpbmEgPSAyLAogICMgU2hvdyBlcnJvcnMgaW4gdGhlIG91dHB1dCBpbnN0ZWFkIG9mIHN0b3BwaW5nIHJlbmRlcmluZwogIGVycm9yID0gVFJVRSwKICAjIERvIG5vdCBjb2xsYXBzZSBjb2RlIGFuZCBvdXRwdXQgaW50byBhIHNpbmdsZSBibG9jawogIGNvbGxhcHNlID0gRkFMU0UKKQojIFN0YXJ0IHRoZSBmaWd1cmUgY291bnRlcgpmaWdfY291bnQgPC0gMAojIERlZmluZSB0aGUgY2FwdGlvbmVyIGZ1bmN0aW9uCmNhcHRpb25lciA8LSBmdW5jdGlvbihjYXB0aW9uKSB7CiAgZmlnX2NvdW50IDw8LSBmaWdfY291bnQgKyAxCiAgcGFzdGUwKCJGaWd1cmUgIiwgZmlnX2NvdW50LCAiOiAiLCBjYXB0aW9uKQp9CmBgYAoKCmBgYHtyfQpsaWJyYXJ5KHRpZHlyKQpsaWJyYXJ5KGRwbHlyKQpsaWJyYXJ5KHBsb3RseSkKbGlicmFyeShNZXRyaWNHcmFwaCkKCmdldHMuZ3JhcGguYmFzaXMgPC0gZnVuY3Rpb24oaCwgY29udCA9IFRSVUUpewogICNGCiAgZWRnZTEgPC0gcmJpbmQoYygwLDApLCBjKDAsMikpCiAgZWRnZTIgPC0gcmJpbmQoYygwLDIpLCBjKDAsNCkpCiAgZWRnZTMgPC0gcmJpbmQoYygwLDIpLCBjKDEsMikpCiAgZWRnZTQgPC0gcmJpbmQoYygwLDQpLCBjKDIsNCkpCiAgI1UKICBlZGdlNSA8LSByYmluZChjKDIsNCksIGMoMiwxKSkKICB0aGV0YXUgPC0gc2VxKHBpLCAyKnBpLCBsZW5ndGgub3V0ID0gMTAwKQogIGVkZ2U2IDwtIGNiaW5kKDMrMSpjb3ModGhldGF1KSwgMSsxKnNpbih0aGV0YXUpKQogIGVkZ2U3IDwtIHJiaW5kKGMoNCwxKSwgYyg0LDQpKQogICNOCiAgZWRnZTggPC0gcmJpbmQoYyg0LDEpLCBjKDQsMCkpCiAgZWRnZTkgPC0gcmJpbmQoYyg0LDQpLCBjKDYsMCkpCiAgZWRnZTEwIDwtIHJiaW5kKGMoNiwwKSwgYyg2LDQpKQogICNDCiAgdGhldGFjMSA8LSBzZXEocGksIHBpLzIsIGxlbmd0aC5vdXQgPSAxMDApCiAgZWRnZTExIDwtIGNiaW5kKDgrMipjb3ModGhldGFjMSksIDIrMipzaW4odGhldGFjMSkpCiAgdGhldGFjMiA8LSBzZXEocGksIDMqcGkvMiwgbGVuZ3RoLm91dCA9IDEwMCkKICBlZGdlMTIgPC0gY2JpbmQoOCsyKmNvcyh0aGV0YWMyKSwgMisyKnNpbih0aGV0YWMyKSkKICAjVAogIGVkZ2UxMyA8LSByYmluZChjKDgsNCksIGMoMTAsNCkpCiAgZWRnZTE0IDwtIHJiaW5kKGMoOSw0KSwgYyg5LDApKQogICNJCiAgZWRnZTE1IDwtIHJiaW5kKGMoMTAsNCksIGMoMTIsNCkpCiAgZWRnZTE2IDwtIHJiaW5kKGMoMTAsMCksIGMoMTIsMCkpCiAgZWRnZTE3IDwtIHJiaW5kKGMoMTEsMCksIGMoMTEsNCkpCiAgI08KICB0aGV0YW8xIDwtIHNlcShwaSwgMipwaSwgbGVuZ3RoLm91dCA9IDEwMCkKICBlZGdlMTggPC0gY2JpbmQoMTMrMSpjb3ModGhldGFvMSksIDErMSpzaW4odGhldGFvMSkpCiAgdGhldGFvMiA8LSBzZXEoMCwgcGksIGxlbmd0aC5vdXQgPSAxMDApCiAgZWRnZTE5IDwtIGNiaW5kKDEzKzEqY29zKHRoZXRhbzIpLCAzKzEqc2luKHRoZXRhbzIpKQogIGVkZ2UyMCA8LSByYmluZChjKDEyLDMpLCBjKDEyLDEpKQogIGVkZ2UyMSA8LSByYmluZChjKDE0LDEpLCBjKDE0LDQpKQogICNOCiAgZWRnZTIyIDwtIHJiaW5kKGMoMTQsNCksIGMoMTYsMCkpCiAgZWRnZTIzIDwtIHJiaW5kKGMoMTYsMCksIGMoMTYsNCkpCiAgZWRnZTU2IDwtIHJiaW5kKGMoMTQsMCksIGMoMTQsMSkpCiAgI1MKICBlZGdlMjQgPC0gcmJpbmQoYygxNiwwKSwgYygxNywwKSkKICB0ZXRoYXMxIDwtIHNlcSgtcGkvMiwgcGkvMiwgbGVuZ3RoLm91dCA9IDEwMCkKICBlZGdlMjUgPC0gY2JpbmQoMTcrMSpjb3ModGV0aGFzMSksIDErMSpzaW4odGV0aGFzMSkpCiAgdGhldGFzMiA8LSBzZXEoMypwaS8yLCBwaS8yLCBsZW5ndGgub3V0ID0gMTAwKQogIGVkZ2UyNiA8LSBjYmluZCgxNysxKmNvcyh0aGV0YXMyKSwgMysxKnNpbih0aGV0YXMyKSkKICBlZGdlMjcgPC0gcmJpbmQoYygxNyw0KSwgYygxOCw0KSkKICAjSAogIGVkZ2UyOCA8LSByYmluZChjKDAsNCksIGMoMCw2KSkKICBlZGdlMjkgPC0gcmJpbmQoYygwLDYpLCBjKDAsOCkpCiAgZWRnZTMwIDwtIHJiaW5kKGMoMCw2KSwgYygyLDYpKQogIGVkZ2UzMSA8LSByYmluZChjKDIsNCksIGMoMiw4KSkKICAjQQogIGVkZ2UzMiA8LSByYmluZChjKDIsNCksIGMoMyw4KSkKICBlZGdlMzMgPC0gcmJpbmQoYygzLDgpLCBjKDQsNCkpCiAgZWRnZTM0IDwtIHJiaW5kKGMoMi41LDYpLCBjKDMuNSw2KSkKICAjVAogIGVkZ2UzNSA8LSByYmluZChjKDMsOCksIGMoNiw4KSkKICBlZGdlMzYgPC0gcmJpbmQoYyg1LDgpLCBjKDUsNCkpCiAgI0IKICBlZGdlMzcgPC0gcmJpbmQoYyg4LDgpLCBjKDgsNCkpCiAgdGhldGFiMSA8LSBzZXEoLXBpLzIsIHBpLzIsIGxlbmd0aC5vdXQgPSAxMDApCiAgZWRnZTM4IDwtIGNiaW5kKDkrMSpjb3ModGhldGFiMSksIDUrMSpzaW4odGhldGFiMSkpCiAgZWRnZTM5IDwtIHJiaW5kKGMoOCw2KSwgYyg5LDYpKQogIGVkZ2U0MCA8LSByYmluZChjKDksOCksIGMoOCw4KSkKICB0aGV0YWIyIDwtIHNlcSgtcGkvMiwgcGkvMiwgbGVuZ3RoLm91dCA9IDEwMCkKICBlZGdlNDEgPC0gY2JpbmQoOSsxKmNvcyh0aGV0YWIyKSwgNysxKnNpbih0aGV0YWIyKSkKICAjQQogIGVkZ2U0MiA8LSByYmluZChjKDEwLDQpLCBjKDExLDgpKQogIGVkZ2U0MyA8LSByYmluZChjKDExLDgpLCBjKDEyLDQpKQogIGVkZ2U0NCA8LSByYmluZChjKDEwLjUsNiksIGMoMTEuNSw2KSkKICAjUwogIAogICNJCiAgZWRnZTQ1IDwtIHJiaW5kKGMoMTQsNCksIGMoMTYsNCkpCiAgZWRnZTQ2IDwtIHJiaW5kKGMoMTUsNCksIGMoMTUsOCkpCiAgZWRnZTQ3IDwtIHJiaW5kKGMoMTQsOCksIGMoMTYsOCkpCiAgI1MKICBlZGdlNDggPC0gcmJpbmQoYygxNiw0KSwgYygxNyw0KSkKICBlZGdlNDkgPC0gY2JpbmQoMTcrMSpjb3ModGV0aGFzMSksIDUrMSpzaW4odGV0aGFzMSkpCiAgZWRnZTUwIDwtIGNiaW5kKDE3KzEqY29zKHRoZXRhczIpLCA3KzEqc2luKHRoZXRhczIpKQogIGVkZ2U1MSA8LSByYmluZChjKDE3LDgpLCBjKDE4LDgpKQogICNTCiAgZWRnZTUyIDwtIHJiaW5kKGMoMTMsOCksIGMoMTQsOCkpCiAgZWRnZTUzIDwtY2JpbmQoMTMrMSpjb3ModGhldGFzMiksIDcrMSpzaW4odGhldGFzMikpCiAgZWRnZTU0IDwtIGNiaW5kKDEzKzEqY29zKHRldGhhczEpLCA1KzEqc2luKHRldGhhczEpKQogIGVkZ2U1NSA8LSByYmluZChjKDEyLDQpLCBjKDEzLDQpKQogIAogIGVkZ2VzIDwtIGxpc3QoZWRnZTEsIGVkZ2UyLCBlZGdlMywgZWRnZTQsIGVkZ2U1LCBlZGdlNiwgZWRnZTcsCiAgICAgICAgICAgICAgICBlZGdlOCwgZWRnZTksIGVkZ2UxMCwgZWRnZTExLCBlZGdlMTIsIGVkZ2UxMywgZWRnZTE0LAogICAgICAgICAgICAgICAgZWRnZTE1LCBlZGdlMTYsIGVkZ2UxNywgZWRnZTE4LCBlZGdlMTksIGVkZ2UyMCwgZWRnZTIxLAogICAgICAgICAgICAgICAgZWRnZTIyLCBlZGdlMjMsIGVkZ2UyNCwgZWRnZTI1LCBlZGdlMjYsIGVkZ2UyNywKICAgICAgICAgICAgICAgIGVkZ2UyOCwgZWRnZTI5LCBlZGdlMzAsIGVkZ2UzMSwgZWRnZTMyLCBlZGdlMzMsIGVkZ2UzNCwKICAgICAgICAgICAgICAgIGVkZ2UzNSwgZWRnZTM2LCBlZGdlMzcsIGVkZ2UzOCwgZWRnZTM5LCBlZGdlNDAsIGVkZ2U0MSwKICAgICAgICAgICAgICAgIGVkZ2U0MiwgZWRnZTQzLCBlZGdlNDQsIGVkZ2U0NSwgZWRnZTQ2LCBlZGdlNDcsCiAgICAgICAgICAgICAgICBlZGdlNDgsIGVkZ2U0OSwgZWRnZTUwLCBlZGdlNTEsIGVkZ2U1MiwgZWRnZTUzLCBlZGdlNTQsIGVkZ2U1NSwgZWRnZTU2KQogIGdyYXBoIDwtIG1ldHJpY19ncmFwaCRuZXcoZWRnZXMgPSBlZGdlcywgcGVyZm9ybV9tZXJnZXMgPSBUUlVFKQogIGdyYXBoJHBydW5lX3ZlcnRpY2VzKCkKICBncmFwaCRidWlsZF9tZXNoKGggPSBoLCBjb250aW51b3VzID0gY29udCkKICByZXR1cm4oZ3JhcGgpCn0KCmFkZF9ncm91cF9ib3VuZGFyaWVzIDwtIGZ1bmN0aW9uKG1hdCkgewogICMgVW5pcXVlIGdyb3VwIGlkZW50aWZpZXJzIGluIHRoZSBmaXJzdCBjb2x1bW4KICBncm91cHMgPC0gdW5pcXVlKG1hdFssIDFdKQogIAogICMgSW5pdGlhbGl6ZSBsaXN0IHRvIHN0b3JlIHJlc3VsdHMKICByZXN1bHRfbGlzdCA8LSB2ZWN0b3IoImxpc3QiLCBsZW5ndGgoZ3JvdXBzKSkKICAKICBmb3IgKGkgaW4gc2VxX2Fsb25nKGdyb3VwcykpIHsKICAgIGdycCA8LSBncm91cHNbaV0KICAgIGdyb3VwX3Jvd3MgPC0gbWF0W21hdFssIDFdID09IGdycCwgLCBkcm9wID0gRkFMU0VdCiAgICAKICAgICMgQWRkIGJvdW5kYXJ5IHJvd3MKICAgIGF1Z21lbnRlZCA8LSByYmluZCgKICAgICAgYyhncnAsIDApLAogICAgICBncm91cF9yb3dzLAogICAgICBjKGdycCwgMSkKICAgICkKICAgIHJlc3VsdF9saXN0W1tpXV0gPC0gYXVnbWVudGVkCiAgfQogIAogICMgQ29tYmluZSBhbGwgZ3JvdXBzCiAgcmVzdWx0IDwtIGRvLmNhbGwocmJpbmQsIHJlc3VsdF9saXN0KQogIHJvd25hbWVzKHJlc3VsdCkgPC0gTlVMTAogIHJldHVybihyZXN1bHQpCn0KCiMgRnVuY3Rpb24gdG8gaW5zZXJ0IE5BIHJvdyBiZXR3ZWVuIGdyb3VwcwppbnNlcnRfbmFfYmV0d2Vlbl9ncm91cHMgPC0gZnVuY3Rpb24obWF0LCBncm91cF92ZWMpIHsKICAjIFNwbGl0IHRoZSBtYXRyaXggYnkgZ3JvdXAKICBtYXRfc3BsaXQgPC0gc3BsaXQoYXMuZGF0YS5mcmFtZShtYXQpLCBncm91cF92ZWMpCiAgCiAgIyBBZGQgTkEgcm93cyBhZnRlciBlYWNoIGdyb3VwCiAgd2l0aF9uYSA8LSBsYXBwbHkobWF0X3NwbGl0LCBmdW5jdGlvbih4KSByYmluZChhcy5tYXRyaXgoeCksIHJlcChOQSwgbmNvbChtYXQpKSkpCiAgCiAgIyBDb21iaW5lIGV2ZXJ5dGhpbmcgaW50byBvbmUgbWF0cml4IChyZW1vdmluZyB0aGUgbGFzdCBOQSBpZiBub3QgbmVlZGVkKQogIG1hdCA8LSBkby5jYWxsKHJiaW5kLCB3aXRoX25hKQogIHJldHVybihtYXQpICNtYXRbLW5yb3cobWF0KSwgXQp9CgpmaWxsX2JldHdlZW5fTkEgPC0gZnVuY3Rpb24odmVjKSB7CiAgCiAgIyBGaW5kIHRoZSBpbmRpY2VzIG9mIHRoZSBOQSB2YWx1ZXMKICBuYV9pbmRpY2VzIDwtIHdoaWNoKGlzLm5hKHZlYykpCiAgCiAgZm9yIChpIGluIHNlcV9hbG9uZyhuYV9pbmRpY2VzKVstbGVuZ3RoKG5hX2luZGljZXMpXSkgewogICAgc3RhcnQgPC0gbmFfaW5kaWNlc1tpXQogICAgZW5kIDwtIG5hX2luZGljZXNbaSArIDFdCiAgICAKICAgICMgV29yayBvbiB0aGUgZWxlbWVudHMgYmV0d2VlbiB0d28gTkEgdmFsdWVzCiAgICBpZiAoZW5kIC0gc3RhcnQgPiAxKSB7CiAgICAgIHNlZ21lbnQgPC0gdmVjWyhzdGFydCArIDEpOihlbmQgLSAxKV0KICAgICAgaWYgKGFsbChzZWdtZW50ID09IDAsIG5hLnJtID0gVFJVRSkpIHsKICAgICAgICB2ZWNbKHN0YXJ0ICsgMSk6KGVuZCAtIDEpXSA8LSBOQQogICAgICB9CiAgICB9CiAgfQogIHJldHVybih2ZWMpCn0KCmtlZXBfbm9uemVyb3NfYW5kX2JvcmRlcl96ZXJvcyA8LSBmdW5jdGlvbih2ZWMpIHsKICBuIDwtIGxlbmd0aCh2ZWMpCiAga2VlcCA8LSByZXAoRkFMU0UsIG4pCiAgCiAgIyBJZGVudGlmeSBub256ZXJvIHZhbHVlcyAoaWdub3JpbmcgTkFzKQogIGlzX25vbnplcm8gPC0gIWlzLm5hKHZlYykgJiB2ZWMgIT0gMAogIAogIGZvciAoaSBpbiB3aGljaChpc19ub256ZXJvKSkgewogICAga2VlcFtpXSA8LSBUUlVFCiAgICBpZiAoaSA+IDEgJiYgIWlzLm5hKHZlY1tpIC0gMV0pICYmIHZlY1tpIC0gMV0gPT0gMCkga2VlcFtpIC0gMV0gPC0gVFJVRQogICAgaWYgKGkgPCBuICYmICFpcy5uYSh2ZWNbaSArIDFdKSAmJiB2ZWNbaSArIDFdID09IDApIGtlZXBbaSArIDFdIDwtIFRSVUUKICB9CiAgCiAgIyBSZXBsYWNlIHplcm9zIHRoYXQgYXJlIG5vdCBtYXJrZWQgZm9yIGtlZXBpbmcgd2l0aCBOQQogIHZlY1shaXMubmEodmVjKSAmIHZlYyA9PSAwICYgIWtlZXBdIDwtIE5BCiAgcmV0dXJuKHZlYykKfQoKZ3JhcGggPC0gZ2V0cy5ncmFwaC5iYXNpcyhoID0gMS8xLCBjb250ID0gVFJVRSkKZ3JhcGhfY29udCA8LSBnZXRzLmdyYXBoLmJhc2lzKGggPSAxLzUwLCBjb250ID0gVFJVRSkKCiMgZGlzY29udGludW91cyBtZXNoClYgPC0gZ3JhcGhfY29udCRtZXNoJFYKVnRFIDwtIGdyYXBoX2NvbnQkbWVzaCRWdEUKCgpuZXdfVnRFIDwtIGFkZF9ncm91cF9ib3VuZGFyaWVzKFZ0RVsoZ3JhcGgkblYrMSk6bnJvdyhWdEUpLF0pCm5ld19WIDwtIGdyYXBoX2NvbnQkY29vcmRpbmF0ZXMoUHRFID0gbmV3X1Z0RSwgbm9ybWFsaXplZCA9IFRSVUUpClZfd2l0aF9OQSA8LSByYmluZChjKE5BLE5BKSwgaW5zZXJ0X25hX2JldHdlZW5fZ3JvdXBzKG5ld19WLCBuZXdfVnRFWywxXSkpCnggPC0gVl93aXRoX05BWywxXQp5IDwtIFZfd2l0aF9OQVssMl0KCgpBIDwtIGFzLm1hdHJpeChncmFwaCRmZW1fYmFzaXMobmV3X1Z0RSkpCkFfd2l0aF9OQSA8LSByYmluZChyZXAoTkEsIG5jb2woQSkpLCBpbnNlcnRfbmFfYmV0d2Vlbl9ncm91cHMoQSwgbmV3X1Z0RVssMV0pKQpBX3dpdGhfTkFfY2xlYW5lZCA8LSBhcHBseShBX3dpdGhfTkEsIDIsIGZpbGxfYmV0d2Vlbl9OQSkKQV93aXRoX05BX3plcm9lZCA8LSBhcHBseShBX3dpdGhfTkEsIDIsIGtlZXBfbm9uemVyb3NfYW5kX2JvcmRlcl96ZXJvcykKCnhfcmFuZ2UgPC0gcmFuZ2UoeCwgbmEucm0gPSBUUlVFKQp5X3JhbmdlIDwtIHJhbmdlKHksIG5hLnJtID0gVFJVRSkKel9yYW5nZSA8LSBjKDAsMSkKCiMgR2V0IGFsbCB6IHZhbHVlcyBmb3IgdmVydGljYWwgbGluZXMKel92YWxzIDwtIGFwcGx5KEFfd2l0aF9OQV96ZXJvZWQsIDEsIG1heCwgbmEucm0gPSBUUlVFKQojIFN1YnNhbXBsZSBldmVyeSA1dGggaW5kZXgKaWR4IDwtIHNlcSgxLCBucm93KEFfd2l0aF9OQV96ZXJvZWQpLCBieSA9IDIwKQoKIyBTdWJzYW1wbGUgeCwgeSwgYW5kIHogZm9yIGdyYXkgbGluZXMKWl9yZWQgPC0gdW5saXN0KGxhcHBseSh6X3ZhbHNbaWR4XSwgZnVuY3Rpb24oemopIGMoMCwgemosIE5BKSkpClhfcmVkIDwtIHJlcCh4W2lkeF0sIGVhY2ggPSAzKQpZX3JlZCA8LSByZXAoeVtpZHhdLCBlYWNoID0gMykKCiMgU3RhcnQgcGxvdApwIDwtIHBsb3RfbHkoKSAlPiUgCiAgYWRkX3RyYWNlKHggPSByZXAoeCwgdGltZXMgPSBncmFwaCRuViksIAogICAgICAgICAgICB5ID0gcmVwKHksIHRpbWVzID0gZ3JhcGgkblYpLCAKICAgICAgICAgICAgeiA9IGFzLnZlY3RvcihBX3dpdGhfTkFfemVyb2VkWywgMTpncmFwaCRuVl0pLCAKICAgICAgICAgICAgdHlwZSA9ICJzY2F0dGVyM2QiLAogICAgICAgICAgICBtb2RlID0gImxpbmVzIiwgCiAgICAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwgCiAgICAgICAgICAgIGxpbmUgPSBsaXN0KGNvbG9yID0gInJlZCIsIHdpZHRoID0gMikpICU+JQogIGFkZF90cmFjZSh4ID0gWF9yZWQsIHkgPSBZX3JlZCwgeiA9IFpfcmVkLAogICAgICAgICAgICB0eXBlID0gInNjYXR0ZXIzZCIsIG1vZGUgPSAibGluZXMiLAogICAgICAgICAgICBsaW5lID0gbGlzdChjb2xvciA9ICJncmF5Iiwgd2lkdGggPSAwLjUpLAogICAgICAgICAgICBzaG93bGVnZW5kID0gRkFMU0UpICU+JQogIGFkZF90cmFjZSh4ID0gcmVwKHgsIHRpbWVzID0gbmNvbChBX3dpdGhfTkFfemVyb2VkKSAtIGdyYXBoJG5WKSwgCiAgICAgICAgICAgIHkgPSByZXAoeSwgdGltZXMgPSBuY29sKEFfd2l0aF9OQV96ZXJvZWQpIC0gZ3JhcGgkblYpLCAKICAgICAgICAgICAgeiA9IGFzLnZlY3RvcihBX3dpdGhfTkFfemVyb2VkWywgKGdyYXBoJG5WKzEpOm5jb2woQV93aXRoX05BX3plcm9lZCldKSwgCiAgICAgICAgICAgIHR5cGUgPSAic2NhdHRlcjNkIiwKICAgICAgICAgICAgbW9kZSA9ICJsaW5lcyIsIAogICAgICAgICAgICBzaG93bGVnZW5kID0gRkFMU0UsIAogICAgICAgICAgICBsaW5lID0gbGlzdChjb2xvciA9ICJibHVlIiwgd2lkdGggPSAyKSkgJT4lCiAgYWRkX3RyYWNlKHggPSB4LCAKICAgICAgICAgICAgeSA9IHksIAogICAgICAgICAgICB6ID0geCowLCAKICAgICAgICAgICAgdHlwZSA9ICJzY2F0dGVyM2QiLAogICAgICAgICAgICBtb2RlID0gImxpbmVzIiwgCiAgICAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwgCiAgICAgICAgICAgIGxpbmUgPSBsaXN0KGNvbG9yID0gImJsYWNrIiwgd2lkdGggPSA0KSkgJT4lIAogIGFkZF90cmFjZSh4ID0gcmVwKHgsIHRpbWVzID0gZ3JhcGgkblYpLCAKICAgICAgICAgICAgeSA9IHJlcCh5LCB0aW1lcyA9IGdyYXBoJG5WKSwgCiAgICAgICAgICAgIHogPSBhcy52ZWN0b3IoQV93aXRoX05BX3plcm9lZFssIDE6Z3JhcGgkblZdKSowLCAKICAgICAgICAgICAgdHlwZSA9ICJzY2F0dGVyM2QiLAogICAgICAgICAgICBtb2RlID0gImxpbmVzIiwgCiAgICAgICAgICAgIHNob3dsZWdlbmQgPSBGQUxTRSwgCiAgICAgICAgICAgIGxpbmUgPSBsaXN0KGNvbG9yID0gImdyZWVuIiwgd2lkdGggPSA0KSkgJT4lCiAgbGF5b3V0KHNjZW5lID0gbGlzdCgKICAgIHhheGlzID0gbGlzdCh0aXRsZSA9ICJ4IiwgcmFuZ2UgPSB4X3JhbmdlKSwKICAgIHlheGlzID0gbGlzdCh0aXRsZSA9ICJ5IiwgcmFuZ2UgPSB5X3JhbmdlKSwKICAgIHpheGlzID0gbGlzdCh0aXRsZSA9ICJ6IiwgcmFuZ2UgPSB6X3JhbmdlKSwKICAgIGFzcGVjdHJhdGlvID0gbGlzdCh4ID0gMi40LCB5ID0gMS4yLCB6ID0gMC4wNiksCiAgICBjYW1lcmEgPSBsaXN0KGV5ZSA9IGxpc3QoeCA9IC0yLCB5ID0gLTMsIHogPSAxLjUpLCAKICAgICAgICAgICAgICAgICAgY2VudGVyID0gbGlzdCh4ID0gMCwgeSA9IDAsIHogPSAwKSkpKQpgYGAKCgojIElsbHVzdHJhdGlvbiB7I2Jhc2lzZn0KCkdvIGJhY2sgdG8gdGhlIFtDb250ZW50c10oYWJvdXQuaHRtbCkgcGFnZS4KCkdvIGJhY2sgdG8gdGhlIFtQcmVsaW1pbmFyaWVzXShwcmVsaW1pbmFyaWVzLmh0bWwjZmVtLWJhc2lzKSBwYWdlLgoKYGBge3IsIGZpZy5oZWlnaHQgPSA4LCBvdXQud2lkdGggPSAiMTAwJSIsIGZpZy5jYXAgPSBjYXB0aW9uZXIoIklsbHVzdHJhdGlvbiBvZiB0aGUgYmFzaXMgZnVuY3Rpb24gc3lzdGVtICRcXHtcXHBzaV5pX2hcXH1fe2k9MX1ee05faH0kIG9uIHRoZSBoYXQtYmFzaXMtZnVuY3Rpb25zIGdyYXBoIChpbiBibGFjaykuIFN0YW5kYXJkIGhhdCBmdW5jdGlvbnMgYXNzb2NpYXRlZCB3aXRoIGludGVybmFsIGVkZ2Ugbm9kZXMgYXJlIHNob3duIGluIGJsdWUsIHdoaWxlIHNwZWNpYWwgdmVydGV4LWNlbnRlcmVkIGZ1bmN0aW9ucyBhcmUgaGlnaGxpZ2h0ZWQgaW4gcmVkLiIpfQpwCmBgYAoKIyMgUmVmZXJlbmNlcwoKYGBge3J9CmdyYXRlZnVsOjpjaXRlX3BhY2thZ2VzKG91dHB1dCA9ICJwYXJhZ3JhcGgiLCBvdXQuZGlyID0gIi4iKQpgYGAK